C++ Primer, Fifth Edition: From Structs to Abstract Data Types

The journey from a struct to an Abstract Data Type (ADT) is a fundamental shift in design philosophy. While a struct is often a passive collection of variables, an ADT is an active entity that manages its own state through Encapsulation.

1. The Design Intent

In C++, the class keyword signals a commitment to Data Abstraction. This strategy separates the interface (what the user can do) from the implementation (how the data is stored). By shielding internal variables, the programmer ensures the object maintains its own internal consistency.

2. Technical Nuance

Technically, the only difference between a struct and a class in C++ is the default access level. Members of a struct are public by default, reflecting their role as open data holders. Members of a class are private by default, reflecting their role as managed entities.

$$\text{ADT} = \text{Data} + \text{Operations}$$

TERMINAL bash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

What is the primary technical difference between a 'struct' and a 'class' in C++?

Structs cannot have member functions.

Classes are stored on the heap while structs are on the stack.

The default access level (public for struct, private for class).

Only classes support inheritance.

QUESTION 2

What is the goal of 'Data Abstraction'?

To make the code run faster by removing data types.

To separate a type's interface from its implementation.

To allow variables to hold multiple types at once.

To prevent the use of pointers in a class.

QUESTION 3

If a class defines an operation 'combine()', who is responsible for maintaining internal consistency?

The user calling the function.

The operating system.

The class itself via its member functions.

The C++ compiler's garbage collector.

QUESTION 4

Why would the initialization 'Sales_data item = "9-999";' fail if it requires two conversions?

C++ allows zero implicit conversions.

C++ allows only one implicit user-defined conversion at a time.

Strings cannot be converted to objects.

Implicit conversions are only allowed for numeric types.

QUESTION 5

In the provided code snippet, why is 'my_mem' accessible in main()?

Because it was declared in a struct and is public by default.

Because main() is a friend of struct A.

Because it is a static member.

Because all strings are globally accessible.

Module Implementation Task: The Employee ADT

Applying Encapsulation and Static Members

You are tasked with creating a robust Employee management class. To ensure every employee has a unique identifier, you must use a shared counter that increments with every new instance. This demonstrates encapsulation and class-wide state management.

[Writing Task] Exercise 13.18: Define an Employee class that contains an employee name and a unique employee identifier. Give the class a default constructor and a constructor that takes a string. Each should generate a unique ID. (Min 50 words code/explanation)

Solution:
To implement this, we define a static member `sn` to keep track of the next available ID. cpp class Employee { public: Employee() : id(sn++) { } Employee(const std::string& s) : name(s), id(sn++) { } private: std::string name; int id; static int sn; }; int Employee::sn = 0; // Initialize outside class This design ensures that the unique ID generation is handled internally by the class (encapsulation), and the shared state is maintained across all instances via the static member.

Explain why the initialization 'Sales_data item = {"978-0590353403", 25, 15.99};' would fail if any member of Sales_data were made private.

Solution:
This is aggregate initialization. It relies on the class being an aggregate, which requires all data members to be public and for there to be no user-defined constructors. Once you introduce the 'private' keyword for encapsulation, the class is no longer an aggregate, and you must instead provide a constructor that matches the provided argument list to initialize the object.